exhaustive when distinguishes the three wire states